REF, NoConds
\\[0ex]Try ($a$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$(Try ($a$))$\cdot$